What Does the Future Hold for Theoretical Computer Science?
نویسنده
چکیده
Prospects for research in theoretical computer science are discussed. The maintenance of a genuine link between theory and practice is seen as key to the future health of both.
منابع مشابه
Mistaking the Map for the Territory: What Society Does With Medicine; Comment on “Medicalisation and Overdiagnosis: What Society Does to Medicine”
Van Dijk et al describe how society’s influence on medicine drives both medicalisation and overdiagnosis, and allege that a major political and ethical concern regarding our increasingly interpreting the world through a biomedical lens is that it serves to individualise and depoliticize social problems. I argue that for medicalisation to serve this purpose, it would have to exclude the possibil...
متن کاملComputer security in the future
Until recently, computer security was an obscure discipline that seemed to have little relevance to everyday life. With the rapid growth of the Internet, e-commerce, and the widespread use of computers, computer security touches almost all aspects of daily life and all parts of society. Even those who do not use computers have information about them stored on computers. This paper reviews some ...
متن کاملIntervals and factors in the Bruhat order
In this paper we study those generic intervals in the Bruhat order of the symmetric group that are isomorphic to the principal order ideal of a permutation w, and consider when the minimum and maximum elements of those intervals are related by a certain property of their reduced words. We show that the property does not hold when w is a decomposable permutation, and that the property always hol...
متن کاملSurjective cellular automata far from the Garden of Eden
One of the first and most famous results of cellular automata theory, Moore’s Garden-of-Eden theorem has been proven to hold if and only if the underlying group possesses the measure-theoretic properties suggested by von Neumann to be the obstacle to the Banach-Tarski paradox. We show that several other results from the literature, already known to characterize surjective cellular automata in d...
متن کاملProtein Secondary Structure Prediction: a Literature Review with Focus on Machine Learning Approaches
DNA sequence, containing all genetic traits is not a functional entity. Instead, it transfers to protein sequences by transcription and translation processes. This protein sequence takes on a 3D structure later, which is a functional unit and can manage biological interactions using the information encoded in DNA. Every life process one can figure is undertaken by proteins with specific functio...
متن کامل